Reasoning about plan revision in BDI agent programs
نویسندگان
چکیده
منابع مشابه
Reasoning about plan revision in BDI agent programs
Facilities for handling plan execution failures are essential for agents which must cope with the effects of nondeterministic actions, and some form of failure handling can be found in most mature agent programming languages and platforms. While such features simplify the development of more robust agents, they make it hard to reason about the execution of agent programs, e.g., to verify their ...
متن کاملReasoning about preferences in BDI agent systems
BDI agents often have to make decisions about which plan is used to achieve a goal, and in which order goals are to be achieved. In this paper we describe how to incorporate preferences (based on the LPP language) into the BDI execution model.
متن کاملReasoning about strategies of multi-agent programs
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent programs executed concurrently. We choose alternating-time temporal logic (ATL) for expressing properties of such programs. However, the original ATL is based on a synchronous model of multi-agent computation while mo...
متن کاملReasoning about abductive inferences in BDI agents
The capability of a computational system to deal with unexpected, changing situations and limited perception of the environment is becoming more a more relevant, in oder to make systems flexible and more reliable. Multi-agent Systems offer a computing paradigm where properties such as autonomy, adaptability or flexibility are basic in the construction of agent-based solutions. However most of c...
متن کاملReasoning about constitutive norms in BDI agents
Software agents can be members of dierent institutions along their life; they might even belong to dierent institutions simultaneously. For these reasons, agents need capabilities that allow them to determine the repercussion that their actions would have within the dierent institutions. This association between the physical word, in which agents' interactions and actions take place, and the in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2011
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2011.05.052